University of Birmingham - PDFSEARCH.IO - Document Search Engine

University of Birmingham
Results: 2922

#	Item
261	Cultural Intermediation in the Creative Urban Economy Phil Jones School of Geography, Earth & Environmental Sciences University of Birmingham Add to Reading List Source URL: www.communitiesandculture.org Language: English - Date: 2015-07-30 13:19:52
262	Election verifiability in electronic voting protocols? (Preliminary version?? ) Ben Smyth1 , Mark Ryan1 , Steve Kremer2 , and Mounira Kourjieh1,3 1 School of Computer Science, University of Birmingham, UK Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2009-12-03 11:29:23
263	Timing attacks in security protocols: symbolic framework and proof techniques? Vincent Cheval1 and V´eronique Cortier2 1 School of Computer Science, University of Birmingham, UK Add to Reading List Source URL: imm.dtu.dk Language: English - Date: 2014-02-26 04:19:06
264	Partition regularity in the rationals Ben Barber (University of Birmingham) A system of linear equations is partition regular if, whenever N is finitely coloured, there is a monochromatic solution. We could similarly ask Add to Reading List Source URL: web.mat.bham.ac.uk - Date: 2014-02-07 10:06:33
265	Application of the ATT-Meta Metaphor-Understanding Approach to Various Examples in the ATT-Meta Project Databank Technical Report CSRPJohn A. Barnden School of Computer Science, The University of Birmingham Birmin Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2001-05-25 11:59:53
266	The feature construct for SMV: semantics Malte Plath and Mark Ryan School of Computer Science University of Birmingham Birmingham B15 2TT UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-02-25 10:35:12
267	Attack, solution and verification for shared authorisation data in TCG TPM Liqun Chen and Mark Ryan HP Labs, UK, and University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-09-11 10:36:45
268	Cloud Computing Security Nanyang Technical University, Singapore 6th February 2012 Mark D. Ryan University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-02-01 08:16:38
269	Trivitas: Voters directly verifying votes Sergiu Bursuc, Gurchetan S. Grewal, and Mark D. Ryan School of Computer Science, University of Birmingham, UK ,, Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-01-11 08:19:36
270	Verifying Security Property of Peer-to-Peer Systems Using CSP Tien Tuan Anh Dinh and Mark Ryan School of Computer Science, University of Birmingham, Birmingham United Kingdom, B15 2TT Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-11-18 09:14:17

UPDATE